var identity: <T>(x: T, ...y:T[]) => T